Näytetään tulokset 1 - 10 / 16667
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

ARCH-COMP 2024 Category Report: Falsification

Vertaisarvioitu
Avoin saatavuus
DOI
10.29007/hgfv
Tanmay Khandait; Federico Formica; Paolo Arcaini; Surdeep Chotaliya; Georgios Fainekos; Abdelrahman ...
Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems ...2024 Julkaisujen tiedon ikoni

ARCH-COMP 2023 Category Report: Falsification

Vertaisarvioitu
Avoin saatavuus
DOI
10.29007/6nqs
Claudio Menghi; Paolo Arcaini; Walstan Baptista; Gidon Ernst; Georgios Fainekos; Federico Formica; S...
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems ...2023 Julkaisujen tiedon ikoni

Requirements for hybrid cosimulation standards

Vertaisarvioitu
Broman, David; Greenberg, Lev; Lee, Edward A.; Masin, Michael; Tripakis, Stavros; Wetter, Michael
-2015 Julkaisujen tiedon ikoni

Systems usability concerns in hybrid control rooms

Vertaisarvioitu
Savioja, Paula; Aaltonen, Iina; Karvonen, Hannu; Koskinen, Hanna; Laarni, Jari; Norros, Leena; Salo,...
8th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human Machine Inter...2012 Julkaisujen tiedon ikoni

Classification of fusion topologies in hybrid soft computing and hard computing systems

Vertaisarvioitu
Ovaska, Seppo; Kamiya, A.
-2003 Julkaisujen tiedon ikoni

Classification of directed and hybrid triple systems

Vertaisarvioitu
Östergård, Patric; Pottonen, Olli
Bayreuther Mathematische Schriften2005 Julkaisujen tiedon ikoni

Multi-Intelligence (M.I.): Combining multiple intelligences in hybrid systems and hybrid beings

Avoin saatavuus
Fox, Stephen
VTT Technology2017 Julkaisujen tiedon ikoni

Fusion of soft and hard computing: Multi dimensional categorization of computationally intelligent hybrid systems

Vertaisarvioitu
Ovaska, S.J.
Neural Computing and Applications2007 Julkaisujen tiedon ikoni

Hybrid LE Systems for Simulation of an Activated Sludge Process

Vertaisarvioitu
DOI
10.1109/EUROSIM.2013.32
Juuso, Esko; Laakso, Ilkka
EUROSIM Congress on Modelling and Simulation2013 Julkaisujen tiedon ikoni

Printed hybrid systems

Vertaisarvioitu
DOI
10.1117/12.915206
Karioja, Pentti; Mäkinen, Jukka-Tapani; Keränen, Kimmo; Aikio, Janne; Alajoki, Teemu; Jaakola, Tuomo...
Proceedings of SPIE2012

ARCH-COMP 2024 Category Report: Falsification

Vertaisarvioitu
Avoin saatavuus
DOI
10.29007/hgfv
2024

ARCH-COMP 2023 Category Report: Falsification

Vertaisarvioitu
Avoin saatavuus
DOI
10.29007/6nqs
2023

Requirements for hybrid cosimulation standards

Vertaisarvioitu
2015

Systems usability concerns in hybrid control rooms

Vertaisarvioitu
2012

Classification of fusion topologies in hybrid soft computing and hard computing systems

Vertaisarvioitu
2003

Classification of directed and hybrid triple systems

Vertaisarvioitu
2005

Multi-Intelligence (M.I.): Combining multiple intelligences in hybrid systems and hybrid beings

Avoin saatavuus
2017

Fusion of soft and hard computing: Multi dimensional categorization of computationally intelligent hybrid systems

Vertaisarvioitu
2007

Hybrid LE Systems for Simulation of an Activated Sludge Process

Vertaisarvioitu
DOI
10.1109/EUROSIM.2013.32
2013

Printed hybrid systems

Vertaisarvioitu
DOI
10.1117/12.915206
2012